/* Initial beliefs */
espera.

/* Initial goal */

!check. 

/* Plans */

+!check : segue <- chega(R) ; !check.
+!check : espera <- not chega(R) ; !check.
